../src/util/bst2.h